"Robert Nieuwenhuis" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Automated deduction, CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings (Lecture Notes in Artificial Intelligence 3632)

Автор: Robert Nieuwenhuis

Размер книги: 4.94 Mb

Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings

Автор: Robert Nieuwenhuis

Категория: Компьютеры

Размер книги: 4.12 Mb

Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings

Автор: Robert Nieuwenhuis, Автор: Andrei Voronkov

Размер книги: 6.72 Mb

Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings

Автор: Robert Nieuwenhuis

Размер книги: 5.59 Mb

Automated Deduction CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

Автор: Robert Nieuwenhuis

Размер книги: 4.44 Mb